- вычислимый с помощью
- Mathematics: calculable in terms of (чего-л.)
Универсальный русско-английский словарь. Академик.ру. 2011.
вычислимый с помощью
Смотреть что такое "вычислимый с помощью" в других словарях:
ГЁДЕЛЯ ИНТЕРПРЕТАЦИЯ — интуиционистской арифметики специальная операция, переводящая формулы интуиционистской арифметики в формулы вида где наборы переменных по вычислимым функциям специального вида. При этом выводимые формулы переводятся в истинные формулы в смысле… … Математическая энциклопедия
Сведение (теория сложности вычислений) — У этого термина существуют и другие значения, см. Сведение. В теории сложности вычислений сведение преобразование одной задачи к другой. В общем случае, если у нас есть алгоритм, преобразующий экземпляры задачи в экземпляры задачи , которые … Википедия
